Template:STRUCTURE 2qed